The Universal Class Axiomatic Set Theory